Cuts, slices and computability
نویسندگان
چکیده
In this paper several classes of fuzzy functions are studied and related to the computations of a fuzzy Turing machine. These classes are put into relation with the ones previously proposed in the literature.
منابع مشابه
Computation Slicing: Techniques and Theory
We generalize the notion of slice introduced in our earlier paper [6]. A slice of a distributed computation with respect to a global predicate is the smallest computation that contains all consistent cuts of the original computation that satisfy the predicate. We prove that slice exists for all global predicates. We also establish that it is, in general, NP-complete to compute the slice. An opt...
متن کاملOn subrecursive representability of irrational numbers
We consider various ways to represent irrational numbers by subrecursive functions: via Cauchy sequences, Dedekind cuts, trace functions, several variants of sum approximations and continued fractions. Let S be a class of subrecursive functions. The set of irrational numbers that can be obtained with functions from S depends on the representation. We compare the sets obtained by the different r...
متن کاملTowards a Theory of Movie Database Queries
We present a data model for movies and movie databases. A movie is considered to be a 2-dimensional semialgebraic figure that can change in time. We give a number of computability results concerning movies: it can be decided whether a frame of a movie is only a topologically transformation of another frame; a movie has a finite number of scenes and cuts and these can be effectively computed. Ba...
متن کاملEpileptiform activity in the guinea-pig neocortical slice spreads preferentially along supragranular layers--recordings with voltage-sensitive dyes.
The spread of epileptiform activity was monitored in guinea-pig neocortical slices by the use of a voltage-sensitive dye (RH795) and a fast optical recording technique. Epileptiform activity induced by bicuculline methiodide (10-20 microM) and single-pulse stimulation spread from the stimulation site in layer I or in the white matter across most of the slice. Different lesions were made in the ...
متن کاملDetection of Gradual Transitions through Temporal Slice Analysis
In this paper, we present approaches for detecting camera cuts, wipes and dissolves based on the analysis of spatio-temporal slices obtained from videos. These slices are composed of spatially and temporally coherent regions which can be perceived as shots. In the proposed methods, camera breaks are located by performing color-texture segmentation and statistical analysis on these video slices....
متن کامل